Stress Tensor Correlators in the Schwinger-Keldysh Formalism

We express stress tensor correlators using the Schwinger-Keldysh formalism. The absence of off-diagonal counterterms in this formalism ensures that the +- and -+ correlators are free of primitive divergences. We use dimensional regularization in position space to explicitly check this at one loop order for a massless scalar on a flat space background. We use the same procedure to show that the ++ correlator contains the divergences first computed by `t Hooft and Veltman for the scalar contribution to the graviton self-energy.Comment: 14 pages, LaTeX 2epsilon, no figures, revised for publicatio

Tests4Py: A Benchmark for System Testing

Benchmarks are among the main drivers of progress in software engineering research, especially in software testing and debugging. However, current benchmarks in this field could be better suited for specific research tasks, as they rely on weak system oracles like crash detection, come with few unit tests only, need more elaborative research, or cannot verify the outcome of system tests. Our Tests4Py benchmark addresses these issues. It is derived from the popular BugsInPy benchmark, including 30 bugs from 5 real-world Python applications. Each subject in Tests4Py comes with an oracle to verify the functional correctness of system inputs. Besides, it enables the generation of system tests and unit tests, allowing for qualitative studies by investigating essential aspects of test sets and extensive evaluations. These opportunities make Tests4Py a next-generation benchmark for research in test generation, debugging, and automatic program repair.Comment: 5 pages, 4 figure

Semantic Debugging

Why does my program fail? We present a novel and general technique to automatically determine failure causes and conditions, using logical properties over input elements: "The program fails if and only if int(⟨length⟩) > len(⟨payload⟩) holds - that is, the given ⟨length⟩ is larger than the ⟨payload⟩ length." Our AVICENNA prototype uses modern techniques for inferring properties of passing and failing inputs and validating and refining hypotheses by having a constraint solver generate supporting test cases to obtain such diagnoses. As a result, AVICENNA produces crisp and expressive diagnoses even for complex failure conditions, considerably improving over the state of the art with diagnoses close to those of human experts

Semantic Debugging

Why does my program fail? We present a novel and general technique to automatically determine failure causes and conditions, using logical properties over input elements: "The program fails if and only if int(⟨length⟩) > len(⟨payload⟩) holds - that is, the given ⟨length⟩ is larger than the ⟨payload⟩ length." Our AVICENNA prototype uses modern techniques for inferring properties of passing and failing inputs and validating and refining hypotheses by having a constraint solver generate supporting test cases to obtain such diagnoses. As a result, AVICENNA produces crisp and expressive diagnoses even for complex failure conditions, considerably improving over the state of the art with diagnoses close to those of human experts

Stochastic Spacetime and Brownian Motion of Test Particles

The operational meaning of spacetime fluctuations is discussed. Classical spacetime geometry can be viewed as encoding the relations between the motions of test particles in the geometry. By analogy, quantum fluctuations of spacetime geometry can be interpreted in terms of the fluctuations of these motions. Thus one can give meaning to spacetime fluctuations in terms of observables which describe the Brownian motion of test particles. We will first discuss some electromagnetic analogies, where quantum fluctuations of the electromagnetic field induce Brownian motion of test particles. We next discuss several explicit examples of Brownian motion caused by a fluctuating gravitational field. These examples include lightcone fluctuations, variations in the flight times of photons through the fluctuating geometry, and fluctuations in the expansion parameter given by a Langevin version of the Raychaudhuri equation. The fluctuations in this parameter lead to variations in the luminosity of sources. Other phenomena which can be linked to spacetime fluctuations are spectral line broadening and angular blurring of distant sources.Comment: 15 pages, 3 figures. Talk given at the 9th Peyresq workshop, June 200

Environmentally Relevant Concentration of Bisphenol S Shows Slight Effects on SIHUMIx

Bisphenol S (BPS) is an industrial chemical used in the process of polymerization of polycarbonate plastics and epoxy resins and thus can be found in various plastic products and thermal papers. The microbiota disrupting effect of BPS on the community structure of the microbiome has already been reported, but little is known on how BPS affects bacterial activity and function. To analyze these effects, we cultivated the simplified human intestinal microbiota (SIHUMIx) in bioreactors at a concentration of 45 µM BPS. By determining biomass, growth of SIHUMIx was followed but no differences during BPS exposure were observed. To validate if the membrane composition was affected, fatty acid methyl esters (FAMEs) profiles were compared. Changes in the individual membrane fatty acid composition could not been described; however, the saturation level of the membranes slightly increased during BPS exposure. By applying targeted metabolomics to quantify short-chain fatty acids (SCFA), it was shown that the activity of SIHUMIx was unaffected. Metaproteomics revealed temporal effect on the community structure and function, showing that BPS has minor effects on the structure or functionality of SIHUMIx

Analysis of pressure drop and blast pressure leakage of passive air blast safety valves : an experimental and numerical study

The purpose of passive air blast safety valves is to protect people and technical installations in buildings or facilities. In case of explosions, e.g. due to technical failures in an oil- and gas refinery, the safety valve should close in milliseconds with the incident shock wave and substantially reduce the blast-pressure leakage into the building. On the other hand, the safety valve should exhibit a low pressure drop in normal operation in order to reduce the power consumption of the ventilators. One main difficulty in the design of such safety valves is to meet the minimum technical requirements, while ensuring the functionality in intrinsically different operating modes. Therefore, the present study proposes a target-oriented evaluation and optimization procedure for such devices, incorporating comprehensive numerical and experimental investigations. CFD, FEM and FSI analyses are regarded as an appropriate approach to predict valve performance parameters and to gain additional insights into the flow or structural behavior of the safety valve, which serves then as a basis for geometrical optimizations. The introduced procedure is exemplified on an existing passive air blast safety valve as a case study. The performance of the new design is significantly increased in ventilation operation, while meeting the performance criteria in the stress case when subjected to blast loads